-
1 тип данных выражения
3.3.6 тип данных выражения (expression data type): Область, в которой должны находиться значения результата выражения.
Примечание - В настоящем стандарте контроль типа и синтез типа проводят только для схемы ISO13584_expressions_schema. Контроль типа обеспечивается структурой и правилами этой EXPRESS-схемы. Синтез типа выполняется EXPRESS-функцией TYPEOF, которая определяет, принадлежит ли объект expression к numeric_expression, Boolean_expression или string_expression, а также функцией is_int, которая определяет, относится ли значение numeric_expression к типу INTEGER.
Источник: ГОСТ Р ИСО 13584-20-2006: Системы автоматизации производства и их интеграция. Библиотека деталей. Часть 20. Логический ресурс. Логическая модель выражений оригинал документа
4.25 тип данных выражения (expression data type): Область, в которой должны находиться значения результата выражения.
Источник: ГОСТ Р 54136-2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь оригинал документа
Русско-английский словарь нормативно-технической терминологии > тип данных выражения
-
2 синтез типа
3.3.13 синтез типа (type synthesis): Определение типа данных выражения.
Примечание - В схеме ISO13584_expressions_schema тип данных каждой константы, переменной или результата оператора передается объектом, который ее представляет, поэтому тип данных выражения expression может быть выведен из результата EXPRESS-функции TYPEOF, примененной к узлу, который представляет это выражение.
Источник: ГОСТ Р ИСО 13584-20-2006: Системы автоматизации производства и их интеграция. Библиотека деталей. Часть 20. Логический ресурс. Логическая модель выражений оригинал документа
Русско-английский словарь нормативно-технической терминологии > синтез типа
-
3 контроль типа
3.3.12 контроль типа (type control): Операция, которая позволяет определить, правильно или нет данное выражение отнесено к определенному типу.
Примечания
1. Выражение отнесено к определенному типу правильно, если тип данных каждого операнда каждого оператора этого выражения соответствует требуемому типу данных.
2. В настоящем стандарте контроль типа обеспечивается ограничениями EXPRESS-схемы.
Источник: ГОСТ Р ИСО 13584-20-2006: Системы автоматизации производства и их интеграция. Библиотека деталей. Часть 20. Логический ресурс. Логическая модель выражений оригинал документа
4.72 контроль типа (type control): Операция, которая позволяет определить, правильно или нет данное выражение отнесено к определенному типу.
Примечание 1 - Выражение отнесено к определенному типу правильно, если тип данных каждого оператора каждого выражения соответствует требуемому типу данных.
Примечание 2 - В настоящем стандарте контроль типа обеспечивается ограничениями EXPRESS-схемы.
Источник: ГОСТ Р 54136-2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь оригинал документа
Русско-английский словарь нормативно-технической терминологии > контроль типа
См. также в других словарях:
тип данных выражения — 3.3.6 тип данных выражения (expression data type): Область, в которой должны находиться значения результата выражения. Примечание В настоящем стандарте контроль типа и синтез типа проводят только для схемы ISO13584 expressions schema. Контроль… … Словарь-справочник терминов нормативно-технической документации
тип данных — 2.35 тип данных (data type): Поименованная совокупность данных с общими статическими и динамическими свойствами, устанавливаемыми формализованными требованиями к данным рассматриваемого типа. Источник: ГОСТ Р ИСО/МЭК ТО 10032 2007: Эталонная… … Словарь-справочник терминов нормативно-технической документации
Тип данных — (встречается также термин вид данных) фундаментальное понятие теории программирования. Тип данных определяет множество значений, набор операций, которые можно применять к таким значениям и, возможно, способ реализации хранения значений и… … Википедия
тип — 2.2 тип: Лампы, имеющие одинаковые световые и электрические параметры, независимо от типа цоколя. Источник: ГОСТ Р МЭК 60968 99: Лампы со встроенными пускорегулирующими аппаратами для общего освещения. Требования безопасности … Словарь-справочник терминов нормативно-технической документации
Тип возвращаемой переменной — В области программирования тип возвращаемой переменной (англ. return type) определяет и накладывает ограничения на тип данных, возвращаемых методом или функцией. Во многих языках программирования (особенно это касается языков со статической… … Википедия
Типизация данных — Тип данных фундаментальное понятие теории программирования. Тип данных определяет множество значений, набор операций, которые можно применять к таким значениям, и, возможно, способ реализации хранения значений и выполнения операций. Любые… … Википедия
Валютный тип — Тип данных Содержание 1 История 2 Определение 3 Необходимость использования типов данных … Википедия
Хронологическая база данных — база данных, содержащая исторические (хронологические) данные, то есть данные, относящиеся к прошлым и, возможно, к будущим периодам времени. Обычная, нехронологическая база данных содержит только текущие данные. Содержание 1 Типы данных и… … Википедия
Нецензурные выражения — Ненормативная лексика (нецензурные выражения, непечатная брань) или обсценная лексика (от англ. obscene непристойный, грязный, бесстыдный) сегмент бранной лексики различных языков, включающий грубейшие (похабные, непристойно мерзкие,… … Википедия
ГОСТ Р ИСО 15225-2003: Номенклатура. Номенклатура данных по медицинским изделиям для информационного обмена — Терминология ГОСТ Р ИСО 15225 2003: Номенклатура. Номенклатура данных по медицинским изделиям для информационного обмена оригинал документа: 3.7 видовая группа изделия: Нет общепринятого определения. Примечание Описание термина «видовая группа… … Словарь-справочник терминов нормативно-технической документации
Динамично эластичный тип макета — (англ. dynamically expandable elastic)[1]. Тип макета постоянных размеров и пропорций элементов страницы относительно окна обозревателя. Основным элементом вёрстки является тег DIV. Табличные теги также могут применяться, но лишь как… … Википедия